$\forall$$p$:FinProbSpace, $n$, $m$:$\mathbb{N}$. ($n$ $\leq$ $m$) $\Rightarrow$ ($\forall$$C$:p{-}open($p$). E($n$;$\lambda$$s$.$C$($<$$n$, $s$$>$)) $\leq$ E($m$;$\lambda$$s$.$C$($<$$m$, $s$$>$)))